This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
اقرأ المزيدThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
اقرأ المزيدDistributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive ...
اقرأ المزيدThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
اقرأ المزيدThis book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...
اقرأ المزيدThe primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...
اقرأ المزيدThe Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions ...
اقرأ المزيدThis book is an extended collection of revised contributions that were initially submitted to the International Workshop ...
اقرأ المزيدthis book poses the papers accepted and presented at the 5th Int- national School and Symposium on Advanced Distributed Systems ...
اقرأ المزيدStarted by small group of well known scientists with the aim of sharing knowledge, experiences, and results on all aspects ...
اقرأ المزيدAPPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...
اقرأ المزيدAPPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...
اقرأ المزيدAPPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...
اقرأ المزيدAPPT 2005: the 6th International Workshop on Advanced Parallel Processing Technologies. APPT is a biennial workshop on parallel ...
اقرأ المزيدModern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 4th Hellenic Conference on Artificial Intelligence, SETN 2006, held ...
اقرأ المزيدThis volume contains database theory, development of advanced DBMS technologies, and their advanced applications.
اقرأ المزيدThis volume contains database theory, development of advanced DBMS technologies, and their advanced applications.
اقرأ المزيدThis book constitutes the proceedings of the European Grid Con-ference 2005, held at the Science Park Amsterdam The aim ...
اقرأ المزيدThis book constitutes the refereed proceedings of the First International Conference on Grid and Pervasive Computing, GPC ...
اقرأ المزيد